Class invariant

Results: 50



#Item
41Mathematical analysis / Modular forms / Invariant theory / Moduli space / Stiefel–Whitney class / Elliptic functions / Abstract algebra / Algebraic geometry / Moduli theory

THE BLOWUP FORMULA FOR DONALDSON INVARIANTS RONALD FINTUSHEL AND RONALD J. STERN 1. Introduction Since their introduction in[removed]D1], the Donaldson invariants of smooth 4manifolds have remained as mysterious as they ha

Add to Reading List

Source URL: www.math.msu.edu

Language: English - Date: 2008-09-23 13:23:06
42Logic in computer science / Assertion / Postcondition / Precondition / Class invariant / Eiffel / Monitor / Test Data Generation / Comparison of C Sharp and Java / Software engineering / Computer programming / Computing

A Historical Perspective on Runtime Assertion Checking in Software Development

Add to Reading List

Source URL: discovery.ucl.ac.uk

Language: English - Date: 2008-02-04 05:56:15
43Logic in computer science / Formal methods / Programming paradigms / Java Modeling Language / Java platform / Object-oriented programming / Postcondition / Class invariant / Design by contract / Software engineering / Computing / Theoretical computer science

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2006-06-01 14:01:26
44Connection / Lie groups / Riemann surfaces / Fiber bundles / Chern–Simons theory / Holonomy / Exponential map / Differential form / Characteristic class / Geometry / Differential geometry / Mathematical analysis

Geometric interpretation of simplicial formulas for the Chern-Simons invariant Julien March´e ∗

Add to Reading List

Source URL: www.math.jussieu.fr

Language: English - Date: 2012-02-24 05:45:40
45Abstract algebra / Riemann surfaces / Invariant theory / Teichmüller space / Moduli space / Mapping class group / Algebraic stack / Weil–Petersson metric / Teichmüller modular group / Moduli theory / Geometry / Algebraic geometry

MODULI SPACES OF LOCAL SYSTEMS AND HIGHER TEICHMÜLLER THEORY by VLADIMIR FOCK and ALEXANDER GONCHAROV

Add to Reading List

Source URL: www.numdam.org

Language: English - Date: 2008-09-23 03:58:26
46Imaging / Artificial intelligence / Support vector machine / Feature / Scale space / Object recognition / Classifier / Supervised learning / Histogram of oriented gradients / Computer vision / Image processing / Vision

Selection of Scale-Invariant Parts for Object Class Recognition Gy. Dork´o and C. Schmid INRIA Rhˆone-Alpes, GRAVIR-CNRS

Add to Reading List

Source URL: lear.inrialpes.fr

Language: English - Date: 2003-08-20 04:58:46
47Mathematics / Braid group / Joan Birman / Finite type invariant / Mapping class group / Birman / Jones polynomial / Knot invariant / Knot polynomial / Knot theory / Topology / Abstract algebra

Interview with Joan Birman

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2006-12-11 08:43:40
48Surgery theory / Cobordism / Mapping class group / Spectrum / Normal invariant / Whitehead torsion / Homology theory / Steenrod algebra / Characteristic class / Topology / Abstract algebra / Algebraic topology

Curriculum Vitae & List of Publications Ib Madsen

Add to Reading List

Source URL: www.math.ku.dk

Language: English - Date: 2009-01-07 08:08:42
49Cross-platform software / Vienna Development Method / Object-oriented programming / Scripting languages / Class / Invariant / C / JavaScript / Eclipse / Computing / Software engineering / Software

PDF Document

Add to Reading List

Source URL: www.vdmportal.org

Language: English - Date: 2007-04-08 13:34:26
50Logic in computer science / Object-oriented programming / Programming paradigms / Postcondition / Precondition / Design by contract / Eiffel / Class invariant / Assertion / Software engineering / Computer programming / Computing

PDF Document

Add to Reading List

Source URL: se.ethz.ch

Language: English - Date: 2011-03-11 06:32:41
UPDATE